#pragma once
#include "PDTExpBoolUn.h"

class PDTProp :  public PDTExpBoolUn, public TraverseIfc <PDTProp, PDTNode> { public:  TRAVERSAL_IFC_IMPL(PDTProp)
public:
	PDTProp(PDTCodeGraph & CG, PDTExpBool &expression);
	NodeTypeEnum getType() {
		return PDTProp_Em;
	}
	virtual stringstream & toString(stringstream & ss) const {
		ss << "Ensure ( ";
		children[0]->toString(ss) << " )";
		return ss;
	}
};
